机译:Nax语言:基于mendler风格的递归方案和术语索引类型统一语言中的函数式编程和逻辑推理
机译:基于可扩展标记语言声明性描述理论的统一建模语言图进行推理
机译:视觉语言在逻辑推理中的系统设计
机译:基于JavaScript和语义类型系统的统一系统建模和编程语言
机译:懒函数语言中基于类型的共递归分配分析
机译:无型语言的高级逻辑类型系统
机译:语言系不是:基于用法的自然语言递归
机译:Nax语言:基于mendler风格的递归方案和术语索引类型统一语言中的函数式编程和逻辑推理
机译:走向编程语言的统一逻辑基础